| 1. Identificação | |
| Tipo de Referência | Artigo em Evento (Conference Proceedings) |
| Site | plutao.sid.inpe.br |
| Código do Detentor | isadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S |
| Identificador | J8LNKAN8RW/37NQTU5 |
| Repositório | dpi.inpe.br/plutao@80/2010/06.25.15.50 |
| Última Atualização | 2011:02.09.12.56.39 (UTC) marciana |
| Repositório de Metadados | dpi.inpe.br/plutao@80/2010/06.25.15.50.42 |
| Última Atualização dos Metadados | 2022:03.17.16.24.02 (UTC) administrator |
| Chave Secundária | INPE--PRE/ |
| DOI | 10.1109/LATW.2010.5550339 |
| ISBN | 978-1-4244-7786-9 |
| Rótulo | lattes: 5039690360728170 2 CristiáSantVija:2010:CoCoTw |
| Chave de Citação | CristiáSantVija:2010:CoCoTw |
| Título | On Comparing and Complementing Two MBT Approaches  |
| Formato | DVD |
| Ano | 2010 |
| Data de Acesso | 07 maio 2024 |
| Tipo Secundário | PRE CI |
| Número de Arquivos | 1 |
| Tamanho | 96 KiB |
| 2. Contextualização | |
| Autor | 1 Cristiá, Maximiliano 2 Santiago, Valdivino Alexandre de 3 Vijaykumar, N. L. |
| Grupo | 1 CEA-CEA-INPE-MCT-BR 2 DAE-CEA-INPE-MCT-BR 3 LAC-CTE-INPE-MCT-BR |
| Afiliação | 1 Instituto Nacional de Pesquisas Espaciais (INPE) 2 Instituto Nacional de Pesquisas Espaciais (INPE) 3 Instituto Nacional de Pesquisas Espaciais (INPE) |
| Endereço de e-Mail do Autor | 1 valdivino@das.inpe.br |
| Endereço de e-Mail | valdivino@das.inpe.br |
| Nome do Evento | Test Workshop (LATW), 11th Latin American |
| Localização do Evento | Punta del Este |
| Data | 28-31 March 2010 |
| Título do Livro | Proceedings |
| Tipo Terciário | Paper |
| Histórico (UTC) | 2010-06-29 12:04:21 :: lattes -> marciana :: 2010 2010-07-02 16:26:17 :: marciana -> administrator :: 2010 2010-11-17 21:31:01 :: administrator -> marciana :: 2010 2011-02-09 12:56:39 :: marciana -> administrator :: 2010 2022-03-17 16:24:02 :: administrator -> marciana :: 2010 |
| 3. Conteúdo e estrutura | |
| É a matriz ou uma cópia? | é a matriz |
| Estágio do Conteúdo | concluido |
| Transferível | 1 |
| Tipo do Conteúdo | External Contribution |
| Palavras-Chave | artificial satellites program testing |
| Resumo | At INPE1 researchers and software engineers have been using Statechart-based testing for some time to test on-board satellite software. On the other hand, a group of researchers at CIFASIS2 and Flowgate Consulting have been applying Z-based testing for unit testing. Both groups started to compare their approaches and tools a year ago. What started as a comparison to share ideas and results, is now turning into the realization that actually both techniques complement and benefit from each other, yielding a more effective and wider Model-Based Testing (MBT) approach. In this paper we present the results obtained so far in comparing and complementing these two MBT techniques. |
| Área | CEA |
| Arranjo 1 | urlib.net > BDMCI > Fonds > Produção anterior à 2021 > LABAC > On Comparing and... |
| Arranjo 2 | urlib.net > BDMCI > Fonds > Produção anterior à 2021 > DIDAE > On Comparing and... |
| Arranjo 3 | urlib.net > BDMCI > Fonds > Produção anterior à 2021 > CGCEA > On Comparing and... |
| Conteúdo da Pasta doc | acessar |
| Conteúdo da Pasta source | não têm arquivos |
| Conteúdo da Pasta agreement | não têm arquivos |
| 4. Condições de acesso e uso | |
| URL dos dados | http://urlib.net/ibi/J8LNKAN8RW/37NQTU5 |
| URL dos dados zipados | http://urlib.net/zip/J8LNKAN8RW/37NQTU5 |
| Idioma | en |
| Arquivo Alvo | 05550339.pdf |
| Grupo de Usuários | lattes administrator marciana |
| Visibilidade | shown |
| Permissão de Leitura | allow from all |
| Permissão de Atualização | não transferida |
| 5. Fontes relacionadas | |
| Unidades Imediatamente Superiores | 8JMKD3MGPCW/3ESGTTP 8JMKD3MGPCW/3ETL868 8JMKD3MGPCW/3EU2FR5 |
| Lista de Itens Citando | sid.inpe.br/bibdigital/2013/10.01.23.29 1 |
| Divulgação | IEEEXplore |
| Acervo Hospedeiro | dpi.inpe.br/plutao@80/2008/08.19.15.01 |
| 6. Notas | |
| Campos Vazios | archivingpolicy archivist callnumber copyholder copyright creatorhistory descriptionlevel edition editor issn lineage mark mirrorrepository nextedition notes numberofvolumes orcid organization pages parameterlist parentrepositories previousedition previouslowerunit progress project publisher publisheraddress readergroup resumeid rightsholder schedulinginformation secondarydate secondarymark serieseditor session shorttitle sponsor subject tertiarymark type url versiontype volume |
| 7. Controle da descrição | |
| e-Mail (login) | marciana |
| atualizar | |